Solèr's theorem
In mathematics, Solèr's theorem is a result concerning certain infinite-dimensional vector spaces. It states that any orthomodular form that has an infinite orthonormal set is a Hilbert space over the real numbers, complex numbers or quaternions.[1][2] Originally proved by Maria Pia Solèr, the result is significant for quantum logic[3][4] and the foundations of quantum mechanics.[5][6] In particular, Solèr's theorem helps to fill a gap in the effort to use Gleason's theorem to rederive quantum mechanics from information-theoretic postulates.[7][8] It is also an important step in the Heunen–Kornell axiomatisation of the category of Hilbert spaces.[9]
Physicist John C. Baez notes,
Nothing in the assumptions mentions the continuum: the hypotheses are purely algebraic. It therefore seems quite magical that [the division ring over which the Hilbert space is defined] is forced to be the real numbers, complex numbers or quaternions.[6]
Writing a decade after Solèr's original publication, Pitowsky calls her theorem "celebrated".[7]
Statement
Let [math]\displaystyle{ \mathbb K }[/math] be a division ring. That means it is a ring in which one can add, subtract, multiply, and divide but in which the multiplication need not be commutative. Suppose this ring has a conjugation, i.e. an operation [math]\displaystyle{ x \mapsto x^* }[/math] for which
- [math]\displaystyle{ \begin{align} & (x+y)^* = x^* + y^*, \\ & (xy)^* = y^* x^* \text{ (the order of multiplication is inverted), and } \\ & (x^*)^* = x. \end{align} }[/math]
Consider a vector space V with scalars in [math]\displaystyle{ \mathbb K }[/math], and a mapping
- [math]\displaystyle{ (u,v) \mapsto \langle u,v\rangle \in \mathbb K }[/math]
which is [math]\displaystyle{ \mathbb K }[/math] -linear in left (or in the right) entry, satisfying the identity
- [math]\displaystyle{ \langle u,v\rangle = \langle v,u\rangle^*. }[/math]
This is called a Hermitian form. Suppose this form is non-degenerate in the sense that
- [math]\displaystyle{ \langle u,v\rangle = 0 \text{ for all values of } u \text{ only if } v=0. }[/math]
For any subspace S let [math]\displaystyle{ S^\bot }[/math] be the orthogonal complement of S. Call the subspace "closed" if [math]\displaystyle{ S^{\bot\bot} = S. }[/math]
Call this whole vector space, and the Hermitian form, "orthomodular" if for every closed subspace S we have that [math]\displaystyle{ S + S^\bot }[/math] is the entire space. (The term "orthomodular" derives from the study of quantum logic. In quantum logic, the distributive law is taken to fail due to the uncertainty principle, and it is replaced with the "modular law," or in the case of infinite-dimensional Hilbert spaces, the "orthomodular law."[6])
A set of vectors [math]\displaystyle{ u_i \in V }[/math] is called "orthonormal" if [math]\displaystyle{ \langle u_i, u_j \rangle = \delta_{ij}. }[/math]The result is this:
- If this space has an infinite orthonormal set, then the division ring of scalars is either the field of real numbers, the field of complex numbers, or the ring of quaternions.
References
- ↑ Solèr, M. P. (1995-01-01). "Characterization of hilbert spaces by orthomodular spaces". Communications in Algebra 23 (1): 219–243. doi:10.1080/00927879508825218. ISSN 0092-7872.
- ↑ Prestel, Alexander (1995-12-01). "On Solèr's characterization of Hilbert spaces" (in en). Manuscripta Mathematica 86 (1): 225–238. doi:10.1007/bf02567991. ISSN 0025-2611.
- ↑ Coecke, Bob; Moore, David; Wilce, Alexander (2000). "Operational Quantum Logic: An Overview" (in en). Current Research in Operational Quantum Logic. Springer, Dordrecht. pp. 1–36. doi:10.1007/978-94-017-1201-9_1. ISBN 978-90-481-5437-1.
- ↑ Moretti, Valter; Oppio, Marco (2018). "The correct formulation of Gleason's theorem in quaternionic Hilbert spaces". Annales Henri Poincaré 19 (11): 3321–3355. doi:10.1007/s00023-018-0729-8. ISSN 1424-0661. Bibcode: 2018AnHP...19.3321M.
- ↑ Holland, Samuel S. (1995). "Orthomodularity in infinite dimensions; a theorem of M. Solèr". Bulletin of the American Mathematical Society 32 (2): 205–234. doi:10.1090/s0273-0979-1995-00593-8. ISSN 0273-0979. Bibcode: 1995math......4224H. http://www.ams.org/bull/1995-32-02/S0273-0979-1995-00593-8/.
- ↑ 6.0 6.1 6.2 Baez, John C. (1 December 2010). "Solèr's Theorem". https://golem.ph.utexas.edu/category/2010/12/solers_theorem.html.
- ↑ 7.0 7.1 Pitowsky, Itamar (2006). "Quantum Mechanics as a Theory of Probability" (in en). Physical Theory and its Interpretation. The Western Ontario Series in Philosophy of Science. 72. Springer, Dordrecht. pp. 213–240. doi:10.1007/1-4020-4876-9_10. ISBN 978-1-4020-4875-3.
- ↑ Grinbaum, Alexei (2007-09-01). "Reconstruction of Quantum Theory". The British Journal for the Philosophy of Science 58 (3): 387–408. doi:10.1093/bjps/axm028. ISSN 0007-0882. http://philsci-archive.pitt.edu/2703/1/reconstruction2.pdf.
Cassinelli, G.; Lahti, P. (2017-11-13). "Quantum mechanics: why complex Hilbert space?" (in en). Philosophical Transactions of the Royal Society A 375 (2106): 20160393. doi:10.1098/rsta.2016.0393. ISSN 1364-503X. PMID 28971945. Bibcode: 2017RSPTA.37560393C. - ↑ Heunen, Chris; Kornell, Andre (2022). "Axioms for the category of Hilbert spaces". Proceedings of the National Academy of Sciences 119 (9): e2117024119. doi:10.1073/pnas.2117024119. PMID 35217613. Bibcode: 2022PNAS..11917024H.
 |  |
